Search CORE

150 research outputs found

Computation, Proof, Machine: Mathematics Enters a New Age, Gilles Dowek , Cambridge University Press, 2015. Hardback, {ISBN} 978-0-521-11801-9, 152 pages

Author: Apt K.R. (Krzysztof)
Publication venue: 'Cambridge University Press (CUP)'
Publication date: 17/03/2017
Field of study

CWI's Institutional Repository

Special issue on constraint programming : preface

Author: Apt K.R. (Krzysztof)
Publication venue: Stichting Mathematisch Centrum
Publication date: 01/09/1998
Field of study

CWI's Institutional Repository

Ten years of Hoare s logic, a survey, part II: n ondeterminism

Author: Apt K.R. (Krzysztof)
Publication venue: 'Elsevier BV'
Publication date: 01/01/1984
Field of study

CWI's Institutional Repository

Relative Strength of Strategy Elimination Procedures

Author: Apt K.R. (Krzysztof)
Publication venue
Publication date: 01/01/2007
Field of study

CWI's Institutional Repository

One more revolution to make: free scietific publishing

Author: Apt K.R. (Krzysztof)
Publication venue: A.C.M.
Publication date: 01/01/2001
Field of study

CWI's Institutional Repository

Introduction to logic programming

Author: Apt K.R. (Krzysztof)
Publication venue: CWI
Publication date: 01/01/1987
Field of study

CWI's Institutional Repository

Ten years of Hoare s logic, a survey, part I

Author: Apt K.R. (Krzysztof)
Publication venue: A.C.M.
Publication date: 01/01/1981
Field of study

CWI's Institutional Repository

Inductive definitions, models of comprehension and invariant definability

Author: Apt K.R. (Krzysztof)
Publication venue: Magnes Press - the Hebrew University
Publication date: 01/01/1978
Field of study

CWI's Institutional Repository

Introduction to logic programming (revised and extended version)

Author: Apt K.R. (Krzysztof)
Publication venue: CWI
Publication date: 01/01/1988
Field of study

CWI's Institutional Repository

A logical analysis of Boolean constraints

Author: Apt K.R. (Krzysztof)
Publication venue: 'Amsterdam University Press'
Publication date: 01/01/1999
Field of study

CWI's Institutional Repository

…

core

core